15 heitmeyer c l , jeffords r d , labaw b g . automated consistency checking of requirements specification . acm trans . software engineering and methodology , july 1996 , 5 : 231 - 261 具體來(lái)說(shuō)就是,提出軟件需求可以由想要的軟件將處于的環(huán)境,期望中的該軟件將與環(huán)境發(fā)生的交互,以及這些交互之間的因果關(guān)系來(lái)刻畫(huà)。